constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
This pages compiles material related to the book
Foundations of Constructive Analysis
McGraw-Hill (1967)
[p. ix:] This book is a piece of constructivist propaganda, designed to show that there does exist a satisfactory algebrative [to classical mathematics]. To this end we develop a large portion of abstract analysis within a constructive framework.
revised as
Errett Bishop, Douglas Bridges:
Constructive analysis
Grundlehren der mathematischen Wissenschaften 279,
Springer (1985)
[doi:10.1007/978-3-642-61667-9]
on the foundations of constructive mathematics in general (cf. Bishop's constructive mathematics) and on constructive analysis in particular.
Last revised on February 8, 2023 at 10:03:49. See the history of this page for a list of all contributions to it.